Accurate Step Counting
نویسندگان
چکیده
Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevance to studying both the space and time properties of programs because these can be estimated by counting transitions of the abstract machine and measuring the size of the additional data structures needed, such as environments and stacks. In this paper we will use this process to derive a function that accurately counts the number of steps required to evaluate expressions in a simple language.
منابع مشابه
Constructing Biological Pathways by a Two-Step Counting Approach
Networks are widely used in biology to represent the relationships between genes and gene functions. In Boolean biological models, it is mainly assumed that there are two states to represent a gene: on-state and off-state. It is typically assumed that the relationship between two genes can be characterized by two kinds of pairwise relationships: similarity and prerequisite. Many approaches have...
متن کاملOptimized Method for Reticulocyte Counting: Simple, Accurate, and Comparable to Flow Cytometry
Background: Reticulocytes are immature red blood cells with RNA, spending the final stages of their maturation in the peripheral blood. The number of reticulocytes in the peripheral blood is the salient evidence of the effectiveness of bone marrow to produce red blood cells. Currently, reticulocyte count is done manually or automatically in clinical laboratories. Difficulties and limitations of...
متن کاملFully Convolutional Crowd Counting on Highly Congested Scenes
In this paper we advance the state-of-the-art for crowd counting in high density scenes by further exploring the idea of a fully convolutional crowd counting model introduced by (Zhang et al., 2016). Producing an accurate and robust crowd count estimator using computer vision techniques has attracted significant research interest in recent years. Applications for crowd counting systems exist in...
متن کاملStep Counting: A Review of Measurement Considerations and Health-Related Applications
Step counting has long been used as a method of measuring distance. Starting in the mid-1900s, researchers became interested in using steps per day to quantify ambulatory physical activity. This line of research gained momentum after 1995, with the introduction of reasonably accurate spring-levered pedometers with digital displays. Since 2010, the use of accelerometer-based "activity trackers" ...
متن کاملAdipoCount: A New Software for Automatic Adipocyte Counting
Obesity has spread worldwide and become a common health problem in modern society. One typical feature of obesity is the excessive accumulation of fat in adipocytes, which occurs through the following two physiological phenomena: hyperplasia (increase in quantity) and hypertrophy (increase in size) of adipocytes. In clinical and scientific research, the accurate quantification of the number and...
متن کاملValidation of the ADAMO Care Watch for step counting in older adults
BACKGROUND Accurate measurement devices are required to objectively quantify physical activity. Wearable activity monitors, such as pedometers, may serve as affordable and feasible instruments for measuring physical activity levels in older adults during their normal activities of daily living. Currently few available accelerometer-based steps counting devices have been shown to be accurate at ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005